python type checking optional