Optionally warn if an unused nonpolymorphic function doesn't type check

[girving]

Currently duck won't complain if you define a function like

f = \c -> if c then 'a' else 3

as long as f is never used. It's easy and probably worthwhile to catch this case.