Add simple types and recursion