remove outdated comment
slight redesign and documentation of interfaces of decl, pat in env.rkt
implement 'idents method for pats
"val" declarations now use patterns!