Explicit instantiation of effect in `handlerfn`

Currently, the effect passed to the computation in `handlerfn` is always left up to the effect inference, but it would be nice to optionally specify it explicitly. During a meeting we ended up with the following syntax proposal for this feature, where `E` is the handled effect.
```fram
handlerfn
  defs in {E} cap
end
```