added builtin add function
commit before adding type definitions