singletons-1.1.1: A framework for generating singleton types