Add record constructors.