singletons-2.6: A framework for generating singleton types