Improve elaboration, first step: allow support for implicit and "castable" arguments, as well as coercions.

TODO: add support in the syntax