Philippe Laferrière

It wasn't clear to me if the callee would need ownership, but I double-checked in the `bank` module and we indeed require ownership. We can leave it as is then!

Yes, happy to do it whenever I find the time. However, note that this is not high priority in ibc-rs right now.

If we agree that "syntax error" means "cannot be parsed"/"cannot be generated by grammar", then this would not be a syntax error. Assuming you want to disallow redefinitions (i.e. not...

Yes, any kind of introspection into the REPL is a great idea for debugging and learning the language!