Datalove has a restrictive type system that enables lots of fun features.

Because functions are pure, deterministic with no side effects, and we have a working interpreter, and no pointers, it's almost trivial to evaluate functions at compile time.

Getting this feature in early to inform the architucture. Initial feature const-evals all const statements, in scripts, script functions, modules, and module functions. After that works fully I'll try to add const parameter specialization.

The simple specialization that requires will hopefully inform full generics.