TS: A new test of user types and type guards.