Make constraints/contracts optional for record declarations