adding working/passing compiler tests related to schemas, supertype removal