How do constructors work in Lean? I feel that there could be a better explanation of this before the exercises are done. I am stuck on exercise 2.4.3 because I don't fully understand the syntax of the constructors in Lean even though I feel like it could be more easily understood. #14