fork from xtc/superc to experiment in the context of the TypeChef project