Finished a simple version of the fix for AMBIGUOUS_SUPER + test cases

I'm sorry I couldn't get full functionality working (parts that hint at it are commented out), but I've written a good base for when the super expression is simple (e.g. super.foo(), but not super.foo().bar() nor super.foo.bar(), etc.). I also have not gotten it to work for arrays because of something with its return type being generic... If there's excessive commenting, please let me know.