Bootstrap: continued type inference for nil, nop and if