Checking for duplicates
Type checking
Type conformance (Subtyping)