Fixing some of the hidden warnings found in /include directory (typing all variables, singleton variables become anonymous, . is .K)
Merge pull request #692 from kframework/fixHiddenWarnings

Fixing some of the hidden warnings found in /include directory