Expression equality
Module system rewrite
Setup instantiator ui. Lookup of addresses in cells.
Basic substitution/reference expression setup
Goal system
Rough and buggy binding
Substitution bugfixes
Substitution looking pretty fucking good ...