Work on implementing value semantics
Allow the storage value of values to be moved.
Add polymorphic string literals and ~ operator
Add another test case
Infer if types are opaque, sizable or copyable. Also wraps source locations at inst.