update sky according to kotlin introduction (redo some commits to be up to date)