Interfaces for the Henshin interpreter.