TypeResolutionTable

As described in #91.
Bingo :) That's called a *Guard Assertion*.