(or x y) support in type checking
removed warning about (foo)