singletons-2.0.0.1: A framework for generating singleton types