Add Defintion.hs (Helpers for defining operations)