Remove unused makeT
Code cleanup
Some more code cleanup in NoMakeT.RankProof
Remove unnecessary sized types
Rewrite proofs in NoMakeT.RankProofs

Separate proof of makeT into separate function