3fd14da3

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.