describing the extensions to the FUN lang in the report