updated fsharp highlighter
routing improvements