fix Data.Text.take

needed to add numchars refinements for the `n <= 0` and `n >= len`
branches. introduced `axiom_numchars_length` for the latter.