Beginning integration. Can type check from the client, now.