Add contracts for Array, Date and RegExp