Added #token and K2Sort(#token) to k-prelude.maude