Sockeye: Refactor arguments type check