Define builtin syntax and functions in K package

Generate syntax declarations that import rather than
redefining the builtins, so builtin functions that
need to refer to the builtin syntax can all be defined
in the K package rather than the strange package-changing
macro stuff that was done before.