The type propsal is on the Web

[Marius Vollmer <mvo zagadka ping de>]

I've put a few resources about my type ideas on the Web.  It contains
a slightly revised proposal.

    http://www-nt.e-technik.uni-dortmund.de/m_mvo/types.html

If you would like me to post the proposal here on the list whenever
something significant has changed, please tell me.