Implemented a monomorphic 64/128 version of Simon

Now it type checks, and runs. Maybe down the road, will make it polymorphic again, when the type checker supports it.