Mark ListT and NondetT as internal.
Hashing out git example.