Removed the "APPLY_SUB" nodes, as they are unnecessary and have unclear types.
Added simple Term->NFTerm pass for arrays. All looks good, now just need to write up some test cases to start playing around with, then move on to doing the NFA->FA preparation functions.