changed 'true' symbol back to T for now
tested core up to eval_quote, which fails with "(cons a b)" <> "(<0> a b)"