Fixed some typechecking issues with aggregate instantiation
Fixed some typechecking issues with aggregate instantiation

Mellow-Programming-Language/Mellow,Mellow-Programming-Language/Mellow,Mellow-Programming-Language/Mellow