add static asserts for values and functions provided by the templated types
consider making this a member function of FieldElement