Added type signatures for productions in parser