Block a user
Fix coerce/3 when applied to namespace types, and type parameters inside record types.
Pet peeve of mine in midwit Erlang: naming important transitions with numbers instead of what the transitions actually are or avoiding proper structure around the transitions themselves (tends to indicate foggy comprehension).