Implemented a monomorphic 64/128 version of SIMON

Now it typechecks, and runs.