adjusted deps; broke package
rewrote existing IfB and EqB to do component-wise operations with type families; added OrdB