Added control nodes, function type inference, fixed parser bugs