Some changes to be able to virtualize pattern matching part.
no eval for slick, virtualized types corrected