Light combinators for finite fields arithmetic