Register TypeCheck.jl