Add the apply function for uninterpreted functions

[lsrcz]

This pull request eases the use of uninterpreted functions by allowing the following syntax:

> let f = "f" :: SymInteger =~> SymInteger =~> SymInteger
> f "a" "b"
(apply (apply f a) b)

[codecov]

Codecov Report

Attention: 4 lines in your changes are missing coverage. Please review.

Comparison is base (623b574) 52.60% compared to head (1f2c22a) 52.61%.

Files	Patch %	Lines
src/Grisette/IR/SymPrim/Data/SymPrim.hs	50.00%	3 Missing ⚠️
src/Grisette/Core/Data/Class/Function.hs	0.00%	1 Missing ⚠️

Additional details and impacted files

@@           Coverage Diff           @@
##             main     #155   +/-   ##
=======================================
  Coverage   52.60%   52.61%           
=======================================
  Files          66       66           
  Lines        5737     5744    +7     
  Branches      443      444    +1     
=======================================
+ Hits         3018     3022    +4     
- Misses       2276     2278    +2     
- Partials      443      444    +1     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.