Update Gemfile.lock
Allow updating space / property names
Show alternate proofs for traits with multiples
Use DataTables for trait table
Extract Formula typeahead's suggest method

Makes for easier testing, which should be automated soon.
Migrate to $ delimiters for LaTeX
Update table checker to use ids, not names
Add errata page
Add markdown, axiom help text