Remove Carbon front end and the weird type system in z-type