A self-made language with static types that run in bytecode.