Added other typelevel projects.