Use ArrayRef in signatures of constraints and some pulling