implement special symbol t and fix bugs in nil.