Reflecting away from definitions in Liquid Haskell

Internship report: Extensions to the reflection mechanism of Liquid Haskell to handle functions from dependencies.