Added r : V -> V \otimes V to finite QCS

Working on automorphism groups