added type checking to forall tests, and updated tests to build with constructor pattern