Lobsters: two mechanisms for dynamic type checks