Silq: a high-level quantum language with safe uncomputation and intuitive semantics | Synapse