Added length operator. Removed unary projection operators, as they are not easily implemented in this framework.