move func: sfp,parse to TypeSystem and Parser