Fix issue 4016: implicit multiplication fails for constants

Fixes [issue 4016](http://code.google.com/p/sympy/issues/detail?id=4016).

Changes:

- Names that represent non-evaluateable symbols will be considered for implicit multiplication
- Added tests