simplify design
add environment priorities to distinguish e.g. lists from proofs