Work on #196 - put metamodel in types, not objects
Test Iterable.first (it's still Getter in typechecker model)
separator for reified tests