A type language for Python built for communication (not checking, though it can do that too)