Turing Complete Type System