provide all the types
types provided bootstrapped
compile the right brand check!
trying to get a more pleasant bootstrap
more minor fixes on the way to real fixing
maybe a strategy for compiling this stuff that works now
.
more tweaks and a new bs
.