private Type getType(ModuleEnvironment m, String typeString) {
Type t = toType.get(typeString);
if (t != null)
return t;
TypeStore ts = m.getStore();
t = ts.lookupAlias(typeString);
if (t != null)
return t;
t = ts.lookupAbstractDataType(typeString);
return t;
}