split ag files
Added printing of type signatures to lambdas (after applying substitutions and replacing type annotation variables with annotations)