Introduce Type::UnknownNumeric?

Introduce a Type::UnknownNumeric/Type::Numeric that works like Type::Unknown but guarantees a known numeric type (Integer or Real). This would be returned by numeric operators when operands cannot be determined or when they differ in types.