added some more details to spec and first implementation of some operators.