Add JsonConverter to allow better serialization of Option type. Also add symbol definition locations to allow "go to definition" on references.