well written, though conflates what is defined now for perl6 versus what you are proposing.

I think if you include early on, what perl6 type system is now and contrast what you are proposing then the paper will read clearer.