This is a bit difficult to understand. I go in recursive mode when i read "an element is an element" :)
Also I'm not entirely sure what the type of a specific finite field variable is?