Add a little file that tests the Sanity of the type guards (turns out they aren't very sane right now)