rework enums
refactor common supertype for +- and <> nodes
set temp files read-only
introduce folding optimization