botB --> mkBot (changing type)
GenBusesT
Ty type and ty method
drop GenBusesT
Use result Ty in CompInfo key. drop string type annotations for undefined Int & Bool.
if/bottom optimizations