Bootstrap: continued is_a, type filters, codegen dispatch...