Implicit functions

We have improved our support for implicit functions. See some examples.