Recent Developments on Functional Itô Calculus: Lie Bracket and Tanaka Formula