nested lists now at least typecheck