added if
added Eq and refactored LLambda to use record syntax