started implementing FMTypeChecker functions