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.