Drew DeVaultBunnix is probably one of the most complex Hare programs that exists -- it's a functional Unix kernel. It's also freestanding, so "how many discrete types are in this program" is an easy question to answer. The answer is 451.
GNU social JP is a social network, courtesy of GNU social JP管理人. It runs on GNU social, version 2.0.2-dev, available under the GNU Affero General Public License.
All GNU social JP content and data are available under the Creative Commons Attribution 3.0 license.