specify if (is) and dynamic types, add 3 TODOs