singletons-1.1.2.1: A framework for generating singleton types