Use configurations
Use time-stamped configurations and individual register sets
Fix typo
Fix singificant bug in semantics which caused non-termination
Make minor fixes to lattices and merge in labich's changes