separate mint out into mint and mint-impl
Merge pull request #762 from dwightguth/mint

separate mint out into mint and mint-impl
Merge remote-tracking branch 'upstream/unified-builtins2' into final_commit
fixed issue that broke sum with the cil semantics