typekw and exprkw