Guards, i.e. `when` conditions, for pattern matching branches, initial commit. Simplified approach to `assert false` constraint generation, initial commit.