type builder and test