basic redex lang def up