Compile validateType