Type Assertions

Tell the compiler you know a value's type with as, use the non-null assertion ! carefully, and prefer satisfies when you want checking without losing precise types.