type annotation of String.isEmpty: "isEmpty : String" => isEmpty : String -> Bool
Merge branch 'master' into dev