Fix the value of non-trivial n-terms

If n>0 we were not dealing with weaknings. We need to specify that any weakned formula
must be strongly normalising. This way we no longer need to special-case the nullary
case.