None-group $ftype and $Xmeta as ty
This is hard to test! And the things I discovered about Rust's behaviour were quite exciting.
Fixes #68 (closed).
(Other aspects of #68 (closed) are now represented as other tickets, eg #76 (closed) #77 (closed); tangentially I also found #74 (closed) #75 (closed).)