generator: Employed datatype.get_expr_datatype()