how to construct partial functions
some tweaks
Merge pull request #12 from samuelgruetter/master

How to construct partial functions