moves typer to scala-reflect
experiments with mirrors