dollars for ref types

[shirleyquirk]

I think everyone is vehemently agreeing with each other. Compiler does know 
which types **can** be cyclic, at run time walking the graph is necessary. A 
subset of ref types exist that can never be cyclic, and for which my naive '$' 
would be safe. But you'll never have a `$` for a linked list