(undo: check the type of instances defined using :== (maybe the parser should reject these instances))