types+grammar: ch4, adding link to 'javascript equality table' figure