NEW: Add support for push operator on ArrayList (Fixes #1539)