On uniformly constructive and semiconstructive formal systems