Inline typespecs?

[rvirding]

It would make using pattern matching very cumbersome and the patterns would quickly become unreadable if they were to include type information.