Added some comments to core.term