Argument renamed to ArgumentInfo; first TypeInfo implementation