Link grammar and type theory