Removed 'promptS' and 'promptC' prelude proxies
Updated documentation
Changed run functions for 'ListT'