Add type check to test suite

Move the proposed type consistency from the design to tests. Discussed 16/06/2026 based on this: !47 (comment 13976)