add SimpleTypeCheck unit test