tests: add formal types to serialization tests