Added examples of the tests from yodaetl for type enforcement- still need to break into unit tests.