update readme.
remove ref tagged_type, is_mutable bit; Env objects now have dedicated is_var bit.
mutator.
struct kind is now a struct with fields and applicator fields.