Generalized type signatures
Updated documentation