- proper types and help messages