* More NaBL for function
* Placeholder for type-of rules for functions
* Basic NaBL for HQL