Delete an unnecessary splitAt constant from mmlParseTheory.
Remove another local splitAt and use list$splitAtPki instead

Some minor changes necessary in the translator - the std prelude has
to provide a translation of splitAtPki, and the repl translation
should no longer look for a mmlPEG$splitAt to translate.