Cleaned up haskell to make decision procedure complexity easier to see; moved EL[/\,!,~] into separate file