Added simple typechecking entry to site