add match support for function args. Doesnt do type deduction yet but coming...
now finds traits