Are there languages that are not in RE nor CO-RE?
Yes, there are some. There is actually an infinite hierarchy of languages which are less and less decidable, namely the Arithmetical hierarchy. Recursively Enumerable languages and their complements are at its level 1. An example of language which isn't RE or coRE is the set of Turing machines computing total functions.