Somewhat to my own surprise, I really like this RFC.
My only disagreement is that I think it's a mistake to defer the call
to TIEWHATEVER until the first access. It ought to be done when
the typed variable is declared, so that it's easy to determine where
a variable is tied.
There is also the issue of how one passes multiple
arguments to set up the tied variable in the first place.
Something like this perhaps:
my Tieable $var : tie(@args) = $init_val;
Also, I didn't see any reference to the fact that RFC 218 will
have to change to "...just an assertion, unless the package autoties,
in which case it's no longer an assertion".
Damian