support partially applied builtins

[c-cube]

A syntax for builtins such as = or =>, seen as functions:

• either something like @= A a
• or force the user to write fun x. a = x