change subtype decl syntax to 'type of Foo where ...'