define checking, typedef removal, true/false atom