Type Assertion

Written version in progress…