Add an option to assert that something is 100% certain type

[Fuco1]

This is like the x as unknown as whatever construct in Typescript. Sometimes, we want to say that a form is a certain type no matter the type checks.

See also #151