Feature/hale deserializer


Few specs changes to lay the work to start writing the hale deserializer.
I hope this is non controversial and we can just merge this
@fosdev