Added useful functions, and fixed mistake in sym-construct-value's
to-str