move KSort to BASIC
move KAttributes to BASIC - so that we can add them to terms
KConstant has a KSort sort
copied KVariable regex from new-kast.k
KAttributes on KItem
allow a module to have attributes
hooks for inner kast
this commit may upset some people, but I think I finally get it...