Improve module instantiation/evaluation, especially around errors

Add a description of Improve module instantiation/evaluation, especially around errors