Treats nullary constructors correctly.
Initial work on Plans/Machines.
Effectful plans.