module unifier-examples.

  star algol.
  g X 3.
  eq X X.