Added Marco Arment’s CompactConstraint categories; improved singleton design pattern