bunch of callables related changes:

- simplifies interface to with_types
- simplifies interface to with_descr
- simplifies the logic within CallableKernel.with_descrs
- gets rid of ManglerCallable
- introduces InKernelCallable.with_added_arg