Allow Maybes to be passed as placeholder arguments

At the cost of some loss of type inference.  This is maybe questionable but
seems to work in normal cases.  It will just have trouble with things like
numeric literals.
Remove some stale dependencies