public IValue typeToValue(Type t, RascalExecutionContext rex) {
TypeStore store = new TypeStore();
IMap definitions = rex.getSymbolDefinitions();
TypeReifier tr = new TypeReifier(vf);
tr.declareAbstractDataTypes(definitions, store);
IConstructor symbol = typeToSymbol(t, store);
Map<Type,Type> bindings = new HashMap<Type,Type>();
bindings.put(Factory.TypeParam, t);