Revise JSONParser with type checking; improve parser specs