added super chobo Racket version    plz halp anypony
updated README to include Super Chobo Racket version
fixed typo in README
cleaned up README
updated comments
updated comments
added disequality constraints for rep
removed incorrect commented out code to enforce disequality constraints
added disequality constraints to ensure only legal terms are constructed when running backwards
added tests
moved disequality tests to their own helpers
added comments
added comments
added comments
added comments
added comments
added comments
reordered goals
simplified delta and regex-matcho
moved unifications up in deltao