Change terminology of finitary algebraic categories

[ScriptRaccoon]

This PR resolves #326.

• The property "finitary algebraic" is renamed to "one-sorted finitary algebraic"
• The entry for the property "locally strongly finitely presentable" is renamed to "finitary algebraic".
  • The content of the property "locally strongly finitely presentable" remains as one of its equivalent characterizations

Some proofs have been adjusted accordingly.