add propositions, type check them
actually typecheck props
parse props
sugar props