added test for the default implicit expression compass needs
implemented the b to vdm construct unary minus