A bunch of small PR changes
Overhaul of HAL and HALE serializer