Variable types for meaning assembly: a logical syntax for generic noun phrases introduced by "most"