And

fun And(lhs: Expression, rhs: Expression)