added first real test for type walking