Added an implicit conversion operator to OperableFunction, to elimina…

…te a situation where the compiler complains due to ambiguity. Should probably also make several other similar additions to other operable types, but.. meh. Later.

src/SCFirstOrderLogic/SentenceCreation/OperableSentenceFactory.cs

@@ -420,6 +420,12 @@ internal OperableFunction(object identifier, IList<OperableTerm> arguments)
         /// </summary>
         /// <param name="function">The function to convert.</param>
         public static implicit operator Function(OperableFunction function) => new(function.Identifier, function.Arguments.Select(a => (Term)a).ToArray());
+
+        /// <summary>
+        /// Implicitly converts an <see cref="OperableFunction"/> instance to an equivalent <see cref="Term"/>.
+        /// </summary>
+        /// <param name="function">The function to convert.</param>
+        public static implicit operator Term(OperableFunction function) => new Function(function.Identifier, function.Arguments.Select(a => (Term)a).ToArray());
     }
 
     /// <summary>