WYCS: working on trying to bootstrap the type system for wycs