Add ListT

Review by @paf31, @joneshf.

I believe this PR also demonstrates (3) compiler bugs, which I have documented in comments and will create issues for in the compiler project.