Start adding constraint generation for declarations.