Adding .gitignore to ignore Coq intermediate and object files
Figured out how to do append-only linked lists

WITHOUT the induction-recursion encoding mess!
Actually use the list append; no issues
More RGFix arities
Relocate option-type and fixpoint work from examples into core libs
Move axioms from LinkedList to Core
Adding examples of known unsoundnesses.
Got the unsoundness example compiling. Remember 'Global Instance'
Making unsound example actually unsound
Finish RCC implementation using linear env
I was confused about induction-recursion
update readme