[WIP] Converting arrfuncs to have their signature as the type

This will fix #166 when complete, currently in a work in progress.