Bootstrap: starting with block type inference