Parser now outputs full ML datastructure for input Prolog, but outputs term arguments as strings instead of terms.