some formula interpreter options are document specific

Ideally they'd even be stored as document options. Future work?

Change-Id: Ida126a441ca88c35406fb66ea3722d6335e6e8e2