untyped macros beta v1

No spec yet, just docs at http://docs.scala-lang.org/overviews/macros/untyped-macros.html.
List of known issues: https://issues.scala-lang.org/secure/IssueNavigator.jspa?mode=hide&requestId=11912.
make use of UntypedType:
* Inferred type of macro defs
* Return type of macro types
tests for untyped macros
better error messages:
* too few / too many arguments lists
* macro applications do not support
tests for non-untyped macros
condensing macro tests
fixup tests for untyped macros
condensing
tests for untyped macros
minor fixup for type macros beta v2