Implementation: type tables, analyses