singletons-1.1: A framework for generating singleton types