(For types, only checks their syntax, but not whether they semantically fit in a
certain situation, e.g., "boolean" cannot be used as a base interface.)

Change-Id: I12f617e74ca13ce2afcec8f611bfdb4912c62960