Simplify signature constraints.