By: Tom Sydney Kerckhove <syd@cs-syd.eu>
Add typeApplications option for restricted functions Require or forbid visible type applications on restricted functions, with an optional minimum count so fromIntegral (which needs two) can be enforced.