- support lazy

- support static type detection and other detection

- restraint system