Symbols in data constructors

[ayberkt]

We have defined the DataCon sort in the K grammar as

syntax DataCon ::= "dataCon" "(" Name ")"

where Name is just Id. With this, constructor names consisting of symbols such as : or [] cannot be parsed. For example, kast test/core/Map.pkore yields

[Error] Inner Parser: Parse error: unexpected character '['.
	Source(/Users/ayberkt/Developer/haskell-core-semantics/./test/core/Map.pkore)
	Location(1,227,1,228)

We should fix this soon.