A posteriory, constructor-based, simple type checking for JS