tweaks to get keccak_fun to build

issues were parsing preference for integers and lower precedence of
equality, inherited from the cakeml heap