Turing machine with an oracle for a proper subset of a known undecidable language
It seems you're working towards the notion of Turing reducibility. For example, adding a nontriviality assumption you're roughly asking here:


  Is there a set which is not computable but also does not compute the halting problem?


This is an excellent question, and the answer is far from obvious - but ultimately yes in a very strong sense (although a subsequent follow-up question is still open and generally believed to have a negative answer). These were some of the first serious results in computability theory:


Kleene and Post in $1945$ showed that the answer to your question is yes in a strong way: there is in fact some $A$ which is strictly intermediate between the computable sets and the halting problem with respect to Turing reducibility. Their argument also showed that we can find an $A$ which is incomparable with the halting problem with respect to Turing reducibility, so we get a strong affirmative answer.
This wasn't the end of the story, though. One year earlier, Post had posed a separate question: is there a computably enumerable set which is noncomputable but does not compute the halting problem? (Such a set would necessarily be strictly weaker than the halting problem as opposed to incomparable.) This was answered affirmatively about ten years later by Friedberg and by Muchnik independently; this required a new idea, the priority argument (although later priority-free proofs were discovered). The priority argument subsequently became one of the most, if not the most, important technique in computability theory, and was rapidly advanced far beyond the point of the Friedberg/Muchnik argument (some relevant results here include Sacks' density theorem and Lachlan's monster theorem).
However, the Kleene/Post and Friedberg/Muchnik degrees were all fairly artificial. Their arguments showed that the interval between the computable sets and the halting problem is extremely rich, and subsequent results would point towards them being "maximally" rich in some senses, but did not construct examples of such sets which are interesting on their own. Indeed, it is still the case that every natural Turing degree is basically just an iterate of the Turing jump (basically, something of the same "flavor" as the halting problem itself). The question of whether there is a natural intermediate Turing degree is still wildly open; there are some not-too-implausible candidates, but also results pointing towards a negative answer (and I think almost everybody believes that the answer is negative). Certainly the discover of any natural degree which isn't an iterate of the Turing jump would be one of the most important results in computability theory.