Core design progress metabug

[S11001001]

This is probably out of date, but gives us a good idea of how far this got, and the general direction we'd want to go should we roll one from scratch. It's from @joshcough .

• Implement naive interpreter in the style of bound's example.
• Add primitive/native function support.
• Add simple example from bound.
• Add examples for Data
• Add examples for Dictionaries.
• Add Show examples for Bool, Int and List
• Refactor primtive function support later on, because it's hacked in.
• Read (and understand) Spineless Tagless G-Machine paper
• Implement STG style interpreter (later).