clean up main and the handling of user-defined T/F-representations a bit
restore exit-functionality
update readme with latest changes