expr: lower-case docstring functions
doc: add expression invariants