Finished it

Monkeypatches deleted, Ikefile is Lispish, everything is according to
the plan.