I don't know. You don't have to do much bootstrapping to get from lambda calculus primitives all the way up to if-elses, pattern matching, higher-order functions, etc.