Separate parsed type signatures from checked types.
Check inferred types against declared types.