fix: stop interpreting identifiers as case-insensitive

I had misunderstood something while writing this code and thought that both
keywords and identifiers were case-insensitive in Murphi when in actual fact
only the former are. This is the first bug fix in a while that came down to
literally "delete some code".

Closes Github #25 "case sensitive identifiers"