Created Pred2,
a new implementation of the user-facing data structures
finally a version that compiles! Also began work on TestFramework.hs, a tool for simulating behavior