Added HList-base lifting function for Applicative

This is a work in progress. In the end it should allow for a
more concise and nicer to use applicative syntax.