Better comment for SyntacticEmptyTypeTree