Contactifications: a Lagrangian description of compact Hamiltonian systems | Synapse