fcf-base-0.1.0.1: Family-of-families instances for base