Moving tagged identifiers to the KV library
Get rid of implicit variables, take advantage of RWST