typing&engines: implement default arguments