WIP: native function typing
let loops