WYRL: working on type tests for the new wyrl implementation.