Should NoType better be called UnknownType?