Fixes BH-383 place_values
Fixes BH-387
Fixes BH-386
more translation on proofs.js, still not fully translated