For LIGO developers
Treatment of "functions"
Map.literal, etc. is custom, not in the stdlib. We can define them in the stdlib, these will still be somewhat special (
@thunk and other hacks), but it's better than having the hack of built-ins.
This MR removes literal functions from
predefined.ml, and treats them directly in the stdlib.