TODO items
term redefinition and summary reuse checks
style
No contiguous term uses
`.normalize` optimization
completed TODO
0.0.5