pub fn check_types(b: &Block<'_>, args: &mut [Expr], dk: &[DataKind])
Check number and kinds of arguments.
