Allow tau as an action type, added checking for tau in syncset, small cleanup in parser