[tools] add FrozenDict
[discretizations] use FrozenDict for operators dict