Add another function composition test
Support "tilde terms" as functions

Closes #6