Very basic keyword highlighting in inferior-idris