added a first type system test.