I thought define-syntax was already ignored (not typechecked) by default, is there a reason that we need to add this here?