Regression test
Remove console logging from test
Don't recursively substitute in 'Object' as the upper bound of a constraint when recursively walking type parameter constraints
Adding tests.
Update LKG.
Don't assume the top level decl for a file has any children.