handle apply_type in static_eval
add DataType back to Callable for now