Interfaces for the Henshin model.