Some work on passing params to ibex exps.
Fix case errors etc.