Add FreeModuleCategory to polynomial rings
Cleanup related to free modules
Simplify builtin domains
Retractable implies Coercible in opposite direction
Remove 'modularGcd'
Fix error due to handling of gamma incomplete
Remove Formula format
Do not use 'stringify'