added some kast syntax: variables, configurations, basic terms
added some kast syntax: variables, configurations, basic terms
Merge branch 'kast-in-K' of https://github.com/grosu/k into kast-in-K
Merge pull request #813 from grosu/kast-in-K

added some kast syntax: variables, configurations, basic terms