Improve notations for functions

We use fnrec: for recursive functions and fn: for non-recursve functions. This is both shorter and closer to Rust.

This follows a suggestion by @shiatsumat.

Great! Do we still need only parsing for the notations? If we add BNamed to "return", the printing actually works.

added 1 commit

• b234965c - Improve notations for functions

Compare with previous version

Indeed. It is still very unclear to me when coercions should be explicited or not in notations. It is completely random to me.

@jung, any thoughts?

This is on my list of things I will look at after the SOSP deadline on Friday. :)

I like it, thanks. :)

merged

mentioned in commit 58bfc65c