Fixed a bug in highlighting errors, where , would incorrectly be highlighted. Made the is_type API more consistant.
Minor UI formatting.