Any high-order functions, TCO? Is there an implementation of Everything Is An Expression and Everything Is A First-class Value principles? Type-tagging, which i

Any high-order functions, TCO? Is there an implementation of Everything Is An Expression and Everything Is A First-class Value principles? Type-tagging, which implements Values Has A Type, Not Variables principle, which gives The Numerical Tower and other nice things for free? Proper lexical scoping based on Environments which makes every lambda a closure? I am not asking about homogeneity and the possibility of the First-class Macros it provides. No? So what then makes it Lisp-flavored? CONS CAR CDR and parentheses?