do K-Normalization, alpha conversion, closure conversion