Enable ForwardSubstitution for basical types