Started coding. The SSA now works for assignments and ifs. Type inferencing works for assignments but not ifs yet.