Missing types like 0 cps breezily

And hold diagonal sama and hold diagonal godbridge

When diag sama and diag gb :(

please add the javabridge into uhhhh i forgot

add optimal onestack to the category extensions