(arity, alphabet_size) -> signature

Probably have lots of docs that need rewriting now.