Adds support for compiling non-linear terms (i.e., those involving a "where" binding).