Add an API to type check code to be evaluated

[josevalim]

Either a new function in Code or an option to eval_quoted and friends. We will need to be able to infer types from bindings. We can use it in IEx and Livebook.