sig
  exception TypingError of Positions.position
  exception UnboundIdentifier of Positions.position * string
  exception CannotGeneralize of Positions.position * Constraint.variable
  exception NonDistinctVariables of Positions.position *
              Constraint.variable list
end