# P0
## Soundness
* SCC generic check
## Cohesion
* Type inference nonsense (overtightened in types from parsing to typing)
# P1
* Function args with `_`
# P2
* suggest copy or *& on inferred duplicate move of affine types
* Traits on AST/Context
* Context in separate files
* location stack tracking
if (true) R{} else R{} points to unused resource really weirdly
* Better messages for unexpected exps in Expansion passes
* Stop using box::leak and atomicusize, pass around compilation context
* Address aliases
* Using all sorts of aliases in error messages
* i.e. 0x00000000000000384028920984.M.S becomes Sender.M.S
# P3
* Dead resource/struct decls
* Dead field decls
* Unused type params
* Plurals in errors
* .. patterns in lvalues for structs
* move out of owned struct fields
* supporting x.f where x: S (i.e. move x.f)
# P4
* improve language character set
* improve comments