Spec renamed to Grammar
Better typechecking...