pretty print
non-greedy matching
local field equality test
readonly rule
more useful preamble for lively