Wrapped instance for newtypes

Trace TransInv QDiagram SubMap Envelope Style Query Name