source tetra: add test for case expressions on literals
core: fix bug when reporting type lam checker error
core: fix bug in checker for type lambda, and add source tetra tests