Add list.__add__ to builtin types
Allow unification of formal type parameter with itself