BlockML: factorizing signatures for Grammar's functors.