Added todoFRP
Renamed todoFRP to todo-hoplon