'''NOTE''': '''share''' and '''transfer''' are optimizations. These don't need to be included in the initial language implementation, but are worth keeping in mind.
'''NOTE''': what <code>BasicType</code> means should be a fruitful topic for discussion
=== Strawman transition grammar ===