implemented bidi typechecking for apps and fixed show