intrinsic functions may return not only functional types now
importing used types