Array fixes

- Preparations for documentiation on p-star.org
- New operator ==> to clear and push to array
- New operator 'defined' to check if array elements are empty without creating them
- Bugfixes