Re-implement nameof operator #2287
Description
As @dsyme suggested here fsharp/fslang-design#48 (comment), it's much simpler and "the right way" in general to implement the feature in TypeChecker, namely in TcFunctionApplicationThen function, at this point https://github.com/Microsoft/visualfsharp/blob/master/src/fsharp/TypeChecker.fs#L8274
We should port all the wonderful tests @forki created in his old PR #13