取消容易出错的solid函数，引入builtin函数

builtin 接受一个 label，返回对应的内部注册函数