Worked on taking out type checking for semantics with Britain