Convert from a list to an array with comprehensive type checking and inference

[zacky1972]

Is your feature request related to a problem? Please describe.

Current type checking of Pelemay is not perfect. It may cause "sudden death", that is, an uncaught segmentation fault or error due to type mismatch.

Describe the solution you'd like

When converting a list into an array In the beginning of a NIF, check type of arguments of the NIF and its elements thoroughly. It is desirable to inference types and generate more efficient code.

Describe alternatives you've considered None.

Additional context

This issue brings other issues to modify the meta-programming part.

[zacky1972]

This issue is reflected from #49 Thank you @piacerex and @josevalim

[zacky1972]

This issue is also related #70