Array bounds check now occur in compound statements.  Arrays now legal liftable types in Module Parameters.