Typecraft tests passing.