Fix mistake in converting parsers.

There are three parsers used in HOL Light. The use of the parser is determined by the first character in the string.
:         - parse_type
;         - parse_qproof
otherwise - parse_term

Signed-off-by: Eric G Taucher <researcher0x00@gmail.com>