fix for star propagattion; some bug fixes
Updated BuiltinMap & Set to address a nasty bug.
Added code for the new basic parser.  Use '-fastBasic' to use it.
Merge branch 'master' of github.com:kframework/k