Meios processuais para a efetivação do direito do credor titular de compromisso de compra e venda registrado e a ausência de tipicidade de ações no sistema processual brasileiro.