I don’t like it either - to me it sounds like a very strict bureaucrat from former East Germany.
Interesting line of thought. Perhaps even something like ... ?
This enables us to style a fact / goal / head as:
- a postfix relation of 1 argument
- an infix relation with 2 arguments
- an infix relation with 1 leading argument, and any number of trailing arguments
The relation would always be item 1 of the block's output.
A separate block would support calling Snap! functions.