Define build-in types by using Kernel#define_type
Add test for user type