WyC: working on parsing of mixed types in records.
WyC: working on function reference types.
WyC: very minor tweak to test case.:wq