let varify str = SynVarIdentifier (SynVarName str)