Typechecker now handles unknown types better