Unify typeprop and funprop into argprop.