fix type_var
op/eq : error
size_decl : error