Type checker and code generation for Or and Not implemented