[idris] fix bugs in cbidris:smart-colon