Adding check for type conflicts in the compiler