Fix Problem::var_type (continuous variables precede integer).