Fixed Point Theory in Metric Type Spaces