Use open-typerep (instead of a non-existing version of syntactic)