Add info pointer for singleton and refinement types, #2933#2934

bishabosha merged 2 commits intoscala:mainscala/docs.scala-lang:mainfrom

vreuter:patch-2vreuter/docs.scala-lang:patch-2Copy head branch name to clipboard