remove TypeSignature (not used, too intrusive). Update documentation
documentation