Add beginning of grammar v3.1, maybe to be amended
Merge branch 'issue-30-progress-header'
Merge branch 'master' of github.com:daydreaming-experiment/parameters
Update 3.1 parameters with latest changes from Mikael