Split Env and EnvTypes... Does not compile! Wip
Now compiles with fancy type-safety
Add thin unicode bars
Change to thick unicode bars
Fix hlint and Werror, and add Util with halfSize
Support the other data types
Randomly make types to do induction on
Compile with -threaded