Add K Lambda specs for arithmetic primitives
Add K Lambda specs for tail recursion
Add K Lambda specs for vector primitives

Also fixes type error handling in absvector, address->, and <-address.
Add K Lambda specs for symbols primitives

Also raise trap-error catchable type error when intern arg is not string
Add K Lambda specs for string primitives