adding Lifter

plus some cleanup of dialect type, typos