CompleteComplexByResolution now expects q=infinity instead of q=-1

. it now returns its input C if q = 0
. it now returns q further morphisms