adds support for native String; adds a frame for string theory
use built-in string
Merge 2 fixes into Tinayi's branch

Conflicts:
	src/theory/rewriterules/theory_rewriterules_rules.cpp
        but exactly the same except for space change