Added missing cases for join operator in typechecker.