Fingerspecifications replace default finger(s)
or specify derivations
or specify fingers in thumb-finger combinations