Cleanup OTT.idr, add some documentation