Can you name languages with static type checking (like Java) and where code is data (like in LISP)? I mean both things in one language.