polyml interaction
new vim stuff, mainly latex editing