Title: Universal algebra in combinatory logic