Further tweaks to datashape
Some tweaks, changes, additions to the datashape grammar

Use * instead of , for separating dimensions
Don't use barewords for things like string[encoding],
use strings.
Exclude the typeset constraint on typevars for now.