Uniqueness and Reference Immutability for Safe Parallelism