Updating: fixing an issue with emit_hitype for app-types
Updating: checking that 'fun' declaration must be a FUNCLOfun
Merge remote-tracking branch 'upstream/master'