added trait choice (-t) and 'require(methods)'