sml: add new type to represent services

- improve transformer tests
- unhook service generation as we have C++ transformer issues