Missing types like 0 cps breezily
And hold diagonal sama and hold diagonal godbridge
When diag sama and diag gb :(
