Add more properties of functors

[varkor]

As of writing, CatDat has 27 properties of functors, but there are many more which are well known and should be added at some point. See #18 for the analogous issue for properties of categories.

Duals of the following properties should also be added, but are not listed below.

Property	Done
fibration	❌
isofibration	❌
discrete fibration	❌
amnestic isofibration	❌
polynomial	❌
parametric right adjoint	❌
right multiadjoint	❌
pseudomonic	❌
exponentiable	❌
dominant	❌
dense	❌
final	❌
reflective	❌
creates limits	❌
of descent type	❌

[ScriptRaccoon]

Thanks. We should also add way more examples of functors. I am very busy with other things and hope that others can help with PRs. :)