Lazy Universal Algebra Utilities