Monomial identities in the Weyl algebra | Synapse