Instances added in env for typing purpose and inheritance verif added