print wave
typo
the infernal comma
expand tensor indices in forall
somewhat better error message for unbound variables
bind variables in bernstein
remove pullback function
pullbacks and dofs_shape
test_bernstein
generalize bernstein to nd
work on nd bernstein that doesn't work