Implemented some basic simplified structural subtyping tests.