correction of warnings issued by kompile
using customized version of mint file. basically same version from unified-builtins2 branch from kframework with modifications to run on the older version of lists builtin