python type checking literal