Some more symbol stuff towards Bernstein
Merge branch 'bernstein' of github.com:FInAT/FInAT into bernstein