Parameterize types by signature type.

[hdevalence]

As described in the protocol spec, different signature types use different basepoints. This should be accounted for in the types: it should be a compile error to mix different signature domains.