Heavy develop: basicly external sybolic(on types)