added "enforce-all-constraints", needs debugging
restructured code, moved a lot of stuff into data-structures.scm,

can now load with (load "load")