A base type for And and Or logic operators, etc.
Methods for accessing and displaying operands (which are Goals).