Added methods for keyword and boolean operator names
Added comments to ltl grammar