Universe test case: (\x.x)(#t) -> #t