Use spire instead of scalaz for type classes
Get a correct implementation of HES (old in commentary)
Add some tests of service combination with encryption