add type declaration to assignment rule
proper command line args