When i try to typecheck my specification, I get the message: Break: make-subtype-tcc-decl freevars I have no idea what this means and I cannot find it documented anywhere. Thanks in advance, Andrei Popescu