solved the checking of types in user type declaration