add basic ops in typeenv