Automatically load monad syntax for monadic ARM (L3) model..