Added used redex highlighting (closing #4)