Do a better job of verifying types from properly lists.