The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages