Expose literalFreeTyVars again