GitLab

Now, all loop variables as typed as numbers and all procedure arguments
are typed as "null", meaning they'll fit anywhere.  It isn't perfect, but
it is a start.