starting with some tests for the first batch of typing