Aggregate type signature computation + tests