fixed bugs in juxtapose, and a param-labelling issue in type coercion error messages