Add unit tests for specification types