Update module & ArgList doc

Add example of ArgList with non-type arguments.
Change usage of typetuple -> list
Fix using 'type' where non-types are acceptable
Update makefiles