Fixed IsNiladic.
Finished nullable type coercions.
Simpler code flow.