Account for is_ expressions in type checker