Inferring types from type annotations

Last changed by scg on 8 November 2017