for l being empty quasi-loci holds {} is type-distribution of l