fixed loop semantics, including adding then/else
added type data structures
built/stubbed lookup procedures
cleaned up lookups; discovered that the model I have in mind is not a great fit for Haskell, so I'll shift to bytecode interpretation
preparing for building a compiler
added some documentation