split tests into separate files: unit, types, and strict