6 hours of concentrated thinking = lambda operations in my algebra system while preserving implicit multiplication. Need a lot of drinks now