Adria language and programmable transcompiler