Resolves a type from a path (full or short) and parameters, as they come from the engine or a saved spec. Never throws: a path Cube does not know, or parameters that don't fit the type, give an OpaqueType. Enumerations are not resolved here, since their values come from the model.