chore(*): replace to_expr with to_nonnull_expr (when appropriate)

The goal is to make the Lua API more robust.

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
chore(*): replace to_expr with to_nonnull_expr (when appropriate)