Klabel strictness

Updated code to allow strict and seqstrict for KLabel. Although they were implemented, the code was rewriten such that they were no longer allowed.

Still missing: position arguments for strict and seqstrict.