correct usage of variety.h file in mathlib
it must be always first include header in run-time library source
correct mathlib list of exported symbols