[Omake] Going back to "relaxed" sensitivity.

[Aleksey Nogin]

On 14.05.2007 14:54, Jason Hickey wrote:

> What I am saying is that layered approach is better.  There is no 
> quotienting.
> 
>    type Node_canon = unit + S_canon * parent:Node_canon
>    type Node_preserve = S_preserve * Node_canon

This is not quite right:
   - The Node_preserve also needs the preserve version of the parent
   - The only "external" type that we care about is Node_preserve // 
canon_equality, so we still need to quotient (even if the quotient is 
simpler in this case).