Make move the default, but keep a `copy` for usability
Convert get to a meta-function
Add a free statement
Lay foundations for typing judgments
basic typing rules for copying/moving and tests
Continue to sketch out and elaborate on type rules
Continue to sketch out and elaborate on type rules
Add some tests for struct rvalues, make better use of ...
Extend vec type with an optional erased length to make type rules a bit easier, flesh out some remaining type rules
use vdecl more consistently, add rule for free
wip
wip -- moving away from restrictions
wip -- "draft complete"
Lint out some simple stuff
Comment out troublesome code; add back in with tests
Fix mut-loans
Uncomment owned-paths, owned-subpaths
Uncomment paths-restricted-by-loans
wip
uncomment path-freezable-for