renamed modules and established src dir
New architecture based around persistent-refs, and using slightly
cleverer typeclasses for types involved in the logic system
started tests
tests working... reify interface needs work