* Relax the recursive type restriction. * more alternatives * Update description of behavior pre-restriction.