fix some typescript errors (missed due to webpack ts plugin breakage)
fix some typescript errors (missed due to webpack ts plugin breakage)

sagemathinc/smc,sagemathinc/smc,sagemathinc/smc,sagemathinc/smc