feat: implement recursive import expansion and type checking

feat: implement recursive import expansion and type checking #456