Added toString.
Performance improvements with support sets - now uses names of terms instead of full terms.