Refactor the Inline module
Return a single expression in bodies
Print debug info about internal representation
Fix pattern matching in body extraction
Eliminate useless binds