Patch typechecker Int not in [Bool]