Inferring types from type annotations

Last changed by oscar on 20 February 2017