very wow: added DATA/TYPE constructors, improved FUN param type, improved denotation, etc