Doctrine lattice

[jasonmorton]

This is needed for things like:
A is an object
A.signature.doctrine is X
ev(A) should check if X implements ClosedCompactCategory