[steveklabnik]

I believe that this initial version is not quite fully pi types; we did have an RFC for those but it was deemed too large to start off with.