TypeSystem ts = c.typeSystem(); c = c.pushClass(type, ts.staticTarget(type).toClass());
    public Context enterScope(Node child, Context c){        TypeSystem ts = c.typeSystem();        c = c.pushClass(type, ts.staticTarget(type).toClass());        return super.enterScope(child, c);    }