started moving everything back to tokens
here
more conversion of tokens
mostly just builder errors now
phew
builder requires some revamping now..
documentation++
math symbol expressions in builder and other smaller printing things
here
added null-usage annotations
don't know how to type is_in or is_not_in.. Getting domain errors for the domain I've set. Need to consult blair, or anyone who might have suggestions.
separated things back into typereasoning for sanity purposes
here
sucess *exclamation point*
here
here
inductive definition work
looking alright
basic inductive definitions added
here