Text this: On Unification Modulo One-Sided Distributivity: Algorithms, Variants and Asymmetry