Implement Validation.filter, close #1264
Closes #1182
Changes recorder so that PauseElement are inserted before TagElements