Adds typetraits and exception templates.