Dynamics.Elaboration
  ✅ Single integer
  ✅ Empty hole
  ✅ Free variable
  ✅ Let expression
  ✅ Inconsistent binary operation
  ✅ Consistent if statement
  ✅ An unapplied function
  ✅ Application of function on free variable
  ✅ Inconsistent case statement
  ✅ Let expression for a function
  ✅ Function application with a deferred argument
  ✅ Rule ghosts verifies
Dynamics.Statics
  ✅ Function with unknown param
  ✅ Function with known param
  ✅ bifunction
  ✅ function application
  ✅ function deferral
Dynamics.Evaluator
  ✅ Integer literal
  ✅ Integer sum