pure interface of class PremonVar

public class PremonVar
  extends Printable
{
    public String name;
    public PremonType type;
    public PremonCon free;
    public PremonVar(String name,
                     PremonType type);
    public PremonVar(PremonType type);
    public Mor semantics();
    public PremonVar alphaConvert();
    public void print(Printer p);
}