Better docs for Subs.

- Added examples to resolve confusion regarding the result of subs and the limiting value of the expression at that point
- Added examples to clearly show the difference between substitution and numerical evaluation.
- Added `evalf` in the `See Also` of `Subs` documentation section.