fixed abstration list
generate pattern trees in a new way
renamed some constants
renamed some args
fixed major bug
fixed bug
added part_of support
added test
renamed
changed part_of to use lvals
fixed bug
added subpart predicate
added defensive check that a test function does as it is supposed to
removed unused function
added projection tree and a partial compiler