Work on interface types

The template engine must know the type of interface of downstream modules.

This merge request includes other related changes.