Remove remnants of proposition_type