a huge wip

probably incomplete summary:
* refactoring of typedTemplate
* changes in implementation strategy of introduceMember
* minor changes in the API of synthetics