will I ever stop forgetting to add files?
parse (some) absrefs
added basic stuff for abstract refinements
more work on absrefs - instantiating function calls
add some parsing for concrete predicates; start some subtyping too
basic test cases
some sorted list stuff working
physics!!!!!
WIP
add predicates...
match fixpoint