Move DyadicRationals module from Weight-Throwing example

[lemmy]

Move the module https://github.com/tlaplus/Examples/blob/master/specifications/Huang/DyadicRationals.tla here and add a definition DyadicRational (similar to Int, Nat, Reals) with an appropriate (Java) module override.

/cc @muenchnerkindl