Add more type annotations
Begin to turn the 0.12 announcement into a proper intro to Inputs