Added a dynamic dispatch to the analysis. Handled primitives in the analysis. Moved chooseMostSpecificMtype function to Subtyping.hs. Added lookupPrim function to Library.hs