Dead code elimination
Bounds inference now respects inlining

Also broke inlining and qualifying into their own modules