experimental ml-like language compiler