Dynamic: dynamic behavior now has its own type