Implement references capable of holding a reference to any value category. Depends on #24, #28 and (very mildly) on #30. * [ ] RFC and specification * [ ] parsing * [ ] analysis * [ ] codegen * [ ] tests
