A library of experiments with types and data structures