implemented typed identifiers (i.e. mySig:a)
added not about statement_list NULL rule