Add string type to type annotations
First step towards a more compile like command line interface