Verify types of the symbols in estimated_params{,_init,_bounds} statements.

Closes #624