working on new version
working on prototype 2
added array3d
fun with phantom types
working on basic types
fixed with wrapper type
working
unemployment reason
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