Maybe types are marshalled as pointers that may be nil

* Bump to 0.4.0.0
* Handle quantifiers in function types