Cleanup the size computation and layout algorithm into a neat set of mutually recursive functions
Cleanup the size computation and layout algorithm into a neat set of mutually recursive functions

FStarLang/kremlin,FStarLang/kremlin,FStarLang/kremlin,FStarLang/kremlin