A cleaner core frank.

Allowing computation types as function arguments seems to make things
unnecessarily complicated once we have an explicit handle construct,
so let's revert to standard functions.