Type stealer(a hack-trick instead of implementing a type-parser)

Generates a source file with dummy vals having types to-be-returned and steals their types just after the frontend.
@smarter feel free to steal branch

@odersky Do we want this merged?