lib/stc/kernel: add << and >> in Int