Unify lifter interface

Currently, there exists multiple ways to interface with the lifter. We should choose one standard interface to the lifter.

Concretely, this would mean looking at `bir_lifter_simple_interfaceLib.sml` and `bir_lifter_interfaceLib.sml` and merging their functionality.