I know that this will take some time, because currently the package relies on Keno's forked versions of several packages. But it would be great to eventually get `ToyFHE.jl` registered in the General Registry.