updates
Full rewrite of Phantom Types, now actually valid :-)
remove todo marker from phantom types
more kudos
kudos to rafael, 2008 :-)