botB
bottomC
bottomEP
move signature
reifyBottom
drop CCC use
drop CCC import
misc example tweaks