type-checking

== English == === Verb === type-checking present participle and gerund of type-check