Refactoring

Refactored & updated functions such as: alpha conversion, asml generation, k-normalization, let flattening, type checking & inferencing. Changed existing files: main, id. Adding new custom files: s,m.