feat(messaging): Simplify protocol map definitions with function types

[noamloewenstern]

Added usage of the "infer" builtin typescript type, to allow easier and prettier type-mapping. Addresses issue #20

[aklinker1]

I'm adding some type tests. Will push and approve soon.