Add instances in the environment, it'll be easier to check the typing environment.
Check the typing context of the instance (no relation between too and existance of classes/instances used.