Support typed variables

Closes #1
Handle string -> String type