HList Ops implicit not found annotations

See #123

I've also got a random commit that tests for empty LUB constraints.