Add type check TODO tests for .push and .unshift