Add examples, docs on categories in system definitions
Arrays shouldn't hold capacity information
Make the SExp list a regular linked list, not a vector. Update tests
Add some definitions to annot.rs
Minor changes
Add lift-vars.rs
Add some more crates to the Makefile
Update types.rs