* Fixed issue where bound vars were passed twice * Fixed issue where enumeration tycons were processed twice * Fixed mu type errors
