Add HAL JSON/XML encoders