+1 for strict types. That way it will be simple: * Don't need - then don't use at all * You need it - you use it fully.
One thing than left to clearfy - do we allow to hint only part of args or do we go the road "if hint args, then hint them all!" (I'm personaly for second one - be strict)