clean up a bit
add test cases for berlekamp and basisOfBerlekampSubalgebra
add fixity declaration of polyDiv and polyMod