I've been thinking of adding costs to all things you can do thats comparitive to its relative complexity.
For instance, add takes X many basic commands (basic being OR, NOT, XOR, AND), so it should get charged X * basic command cost.
That allows things to get more complicated, but get charged the same amount.
Just haven't gotten around to it.