all stages implemented
remove unused
remove comment
indention
commit before working on subgoals
before fully committing to generalized world graphs
working on instances
commit before removing type variable
plan is unneeded
working on tasks
interfacing with antiqua