missionary is an implementation detail of electric, it is neither required nor recommended to learn it before getting started. You may need it at intermediate level, depending on your needs, e.g to craft your own effects for use in an electric program.
Also the semantics are slightly different - missionary’s extended syntax with backtracking operators aims to be compatible with clojure regarding ordering of effects, while electric clojure has more relaxed constraints.