What is behavioral test? Like, I don't understand all these weird paradigms that people come up with to deal with the deficiencies of dynamic typing.
If declaring structs is seen as costly overhead that complicates coding, tests are when more cumbersome.