cleans up 82f0925

Updates comments, implements accidentally forgotten IMPLPARAM_TREE,
creates a test to ensure that everything works as supposed.
unifies handling of T's in various analyses of Foo[T]'s