What are Design principles of K Framework?

Easy and fun to define semantics