Introduction of typed integers for external ports

Also examples of what TypedStrings/Enums would look like.