Implemented a monomorphic 64/128 version

Now it typechecks, and runs.