System.out.println("making constructor pattern for " + type);
    public ConstrPat makeConstrPat(int pos, Type type) {    	System.out.println("making constructor pattern for " + type);        ConstrPat node = new ConstrPat(newVar(pos, type));        node.pos = pos;        node.type = type;        return node;    }