Began implementing semantic analysis; better mc_type