Table 1, example 1 Table 1, example 2 Table 1, example 3 Table 1, example 4 Table 1, example 5 Table 1, example 6 Table 1, example 7 Table 1, example 8 Table 1, example 9 Table 1, example 10 Table 1, example 11 (typeof) Table 1, example 12 (.hasOwnProperty) Example 12 with fixpoint combinator Table 2, the 14 examples from Tobin-Hochstadt and Felleisen [2010] Typecheck