Dependencies for th-lift-0.4

library