[sc-524] Change Display impl of Book and Net to include lines between empty defs and indent redexes

[sc-524] Change Display impl of Book and Net to include lines between empty defs and indent redexes #168