Aspects Of Martin'S Conjecture And Inner Model Theory