/* generic superclass for lambda terms */

public interface term
{
    public String toString();
}