At the moment (Scala 2.11.0-M8, Macro Paradise 2.0.0-M3), macro annotations implemented in macro pardise is the only macro flavor that doesn't typecheck macro arguments prior to expansion.
There is also an experimental dsl-paradise proposal to extend Scala with scope injection that would allow def macros to be not quite typed in a controlled manner, but it's currently in the early implementation phase, so it's not usable just yet.
The future of untyped macros in official Scala is currently unclear. On the one hand, we recognize that untyped macros are at times useful (e.g. for type providers, scope injection), but, on the other hand, it looks like in their most general form, such macros are more powerful than we would like them to be (see my StrangeLoop talk about philosophy of Scala macros starting from 27:40 and a recent discussion at scala-internals). Therefore future experimentation is required to elaborate on the exact shape in which untyped macros should enter trunk.