add TODO re intermediate vectors in pattern-matching
add debug spew code, explain show vs repr
refactor decl:val to avoid building intermediate vectors when possible