Test / fix type & constraint hash implementations
Another test subcase for constrained types