removed unused dep, contracted code
moved normalization of argtype out of arg-has-type context