Add tests of type & value of multiple datatype constructors with multiple arguments.
Add tests of type & value of multiple datatype constructors with multiple arguments.

antitypical/Manifold,antitypical/Manifold