Modules different than signatures are limited to only one type of signature
Along with @mbertoni , we have realized that for instance proj1 module only considers as input a sign1. However, this module could produce projections for any kind of signature. Therefore, we would like to review to make sure, thet we are in the right path.