updated ValidationApplicative
fixed and completed tests