turn on type checks by default

Rationale: Parsing types but ignoring them by default is stupid.
version 1.0401