contactisation contactomorphism contact manifold covariantization coherentization symplectization equivariantization affinization jordanization metabelianization