Got inferEnv working, with a tool to test it
Use hydrogen
WIP: existential magic
Lots of progress
Implement flatten; define instance Primitive Resource
Update hydrogen