Use records getters.
Use record to store operator-name-map, operator-arity-map.