Add testcase for sibling modules.

Closes PR 13155.
Improve type of expt since inference is bad.

Closes PR 13383.
Reimplement for*/list: in TR so that it works.

Closes PR 13253.
Remove dependency on GUI libraries.