Type annotations work. Getting Enums working.
Got enums kind of working. Type checking is still odd