Update to work with unified builtins

Current version compiles using a patch for kframework/k#549 and the version of builtins/mint.k that andreistefanescu is working on at https://raw.githubusercontent.com/andreistefanescu/k/unified-builtins2/include/builtins/mint.k

There are parse errors without 0640edb, which is a bit surprising.