Fix builtins.rkt

[triangle-man]

We originally intended builtins.rkt to contain a list of functions supported by grid, so that a backend could check whether it implemented all of them (and that grid could do a little bit of type-checking without calling out the backend). Currently we do very little of this.

This is not a priority; just adding so I can not think about it.