first cut at unique method names
eliminate some reflection, ignore mystery nil
no need to encode arity now that we encode types