Symbol now checks and casts arguments