i -src testsuite/compiler/typecheck/abstract/LitAbs.gf
ai null
ai empty
ai other
ai zero
ai pi