Added counted collections file. This is experiments in type-level counted collections. The counted list is working. Counted trees and forests work, but I'm pretty sure constructing them at run-time requires dependent types.