sml: generalise the is model module idea

- create an enumeration to identify the different kinds of modules we
  have in SML
- populate those kinds in the appropriate places
backend: implement general settings handling

- simplify general settings handling logic to the barest use case and
  implement it in backend.
- remove all of the handler madness from formatters.