Things similar to lambda calculus, look like lambda calculus?