Finished type checking for condacts