initial work on annotating commands with argument types