Fix type inference for Test5.spad