Added first type system test.