k3-sle: Basic  behavior
k3-sle: Handle AST exceptions separately
k3-sle: Move macthingHelper to singleton
k3-tools: Allow validation disabling while parsing input files
k3-sle: Validation test codes constants
k3-sle: Simple editor tests (testing implements relation)
k3-sle: Fix recursive type inference warning