REFACTORING

* move types.operation.* and types.expr.* into types
