Type checking refactoring has started. Most of operators were replaced by "operator-functions"