A Discrete Trace Theory for Non-Conforming Polytopal Hybrid Discretisation Methods | Synapse