add clarifying comments to ScalaDot reification and explicit flags check