Control.SessionTypes.Normalize

class Normalize s s''

class Flatten s s'

class ElimRec s s'