added apply, fixed a few bugs
added lots to abs interpreter, gonna go try something now
fixed abstract interpretation to check inside classes