Add typedef.obj for k/v tests; ename typedef.array to typedef.arr.
Add typedump(), typecheck() for assertions.
More tests for FrameListView
Add dump function to typedef.
Fix minor test assertion
Fix minor test assertion
Remove obsolete code.
Add proxy tests.