Modified the treatment of toArray/fromArray identifiers in the constraint system. Now they are included as a type of TypeRoot rather than of Type. Also, updated all tests and verified that they are all working as intended.