Merge pull request #813 from grosu/kast-in-K

added some kast syntax: variables, configurations, basic terms
added a first version of the KAST syntax