Derivation functionality

Functions reference

`deriveGen` macro

Todo

Technical description of the entry derivation function.

`deriveGenExpr` elaboration script

Todo

Technical description of the derivation elaboration script.