Move tests of type constructors into subdir tst/types/