Title was: Allow as_dhall to take a target type
Useful for Function#call
since we know the argument's expected type and can try to coerce more correctly. Get a positive Integer when expected instead of a Natural, call to_s
when relevant, etc.
This is actually more complex than this because of the whole auto-de-currying logic and may have to involve a full type inference pass to work there.