Setup basis for type checking each function
Fixed missing function in Type Tests