typing_test: Assertions